An Approach to Specification and Synthesis of Adaptive Interfaces of Reusable Hardware Modules
نویسندگان
چکیده
A novel methodology for specification and synthesis of adaptive interfaces for Soft IP cores using the VHDL+ extension to VHDL is presented . Our approach separates the specifications of IP core functional behaviour and core interface into different design units. While the core functional behaviour is defined in form of a VHDL+ model that has a transaction level interface, the core interface specification is captured in a distinct VHDL+ design unit, called the interface, and defines the module ports and the port signaling protocol. From a given VHDL+ specification of the IP core functional behaviour and the core interface, respectively, our tool MODIS generates a VHDL synthesis model of the IP core with an appropriate interface implementation. We demonstrate the applicability of our approach on a RT model of a simple CPU for which a serial and a PCI interface are specified and synthesized.
منابع مشابه
On Feasibility of Adaptive Level Hardware Evolution for Emergent Fault Tolerant Communication
A permanent physical fault in communication lines usually leads to a failure. The feasibility of evolution of a self organized communication is studied in this paper to defeat this problem. In this case a communication protocol may emerge between blocks and also can adapt itself to environmental changes like physical faults and defects. In spite of faults, blocks may continue to function since ...
متن کاملEstimating the Parameters in Photovoltaic Modules: A Constrained Optimization Approach
This paper presents a novel identification technique for estimation of unknown parameters in photovoltaic (PV) systems. A single diode model is considered for the PV system, which consists of five unknown parameters. Using information of standard test condition (STC), three unknown parameters are written as functions of the other two parameters in a reduced model. An objective function and ...
متن کاملSpecifying and Checking Method Call Sequences in JML
In a pre and postconditions style specification, it is difficult to specify allowed sequences of method calls, often called protocols. However, the protocols are essential properties of reusable object-oriented classes and application frameworks, and the approaches based on the pre and postconditions, such as design by contracts (DBC) and formal behavioral interface specification languages (BIS...
متن کاملSynthesis of Hierarchical Systems(Revised)
In automated synthesis, given a specification, we automatically create a system that is guaranteed to satisfy the specification. In the classical temporal synthesis algorithms, one usually creates a “flat” system “from scratch”. However, real-life software and hardware systems are usually created using preexisting libraries of reusable components, and are not “flat” since repeated sub-systems a...
متن کاملSynthesis of Hierarchical Systems
In automated synthesis, given a specification, we automatically create a system that is guaranteed to satisfy the specification. In the classical temporal synthesis algorithms, one usually creates a “flat” system “from scratch”. However, real-life software and hardware systems are usually created using preexisting libraries of reusable components, and are not “flat” since repeated subsystems ar...
متن کامل